- 科学出版社(3)
- 科学出版社(3)
- 上海辞书出版社(1)
- 上海辞书出版社(1)
- 中国纺织出版社(1)
- 中国纺织出版社(1)
- 中国轻工业出版社(1)
- 中国轻工业出版社(1)
- 上海社会科学院出版社(1)
- 上海社会科学院出版社(1)
- 辽宁美术出版社(1)
- 辽宁美术出版社(1)
- 吉林科学技术出版社(1)
- 吉林科学技术出版社(1)
- 清华大学出版社(1)
- 清华大学出版社(1)
- 冶金工业出版社(1)
- 冶金工业出版社(1)
- 华东师范大学出版社(1)
- 华东师范大学出版社(1)
- 华东师范大学出版社(1)
- 华东师范大学出版社(1)
- 吉林科学技术出版社(1)
- 吉林科学技术出版社(1)
- 科学出版社(3)
- 科学出版社(3)
- 辽宁美术出版社(1)
- 辽宁美术出版社(1)
- 清华大学出版社(1)
- 清华大学出版社(1)
- 上海辞书出版社(1)
- 上海辞书出版社(1)
- 上海社会科学院出版社(1)
- 上海社会科学院出版社(1)
- 冶金工业出版社(1)
- 冶金工业出版社(1)
- 中国纺织出版社(1)
- 中国纺织出版社(1)
- 中国轻工业出版社(1)
- 中国轻工业出版社(1)
-
矩阵结构与矩阵函数的形式化
¥58.5(7.5折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时,特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时,因缺乏矩阵分析理论基础定理库的支持,其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍,提高系统的安全等级,本书以矩阵分析理论的形式化作为基本任务,旨在构建一个用户友好的形式化数学体系,并将该体系运用于实际物理问题的证明...
-
ChatGPT大模型:技术场景与商业应用(新时代·科技新物种)
¥56.1(7.1折)定价:¥79.0ChatGPT作为人工智能领域的一大进步,引起了热议,其强大功能的背后离不开大模型的支持。大模型指的是参数规模超过千万的机器学习模型,主要应用于语音识别、计算机视觉等领域。本书聚焦大模型,对大模型的技术场景和商业应用展开详细叙述。本书主要从典型应用ChatGPT入手,探寻其背后支撑大模型的魅力。首先,本书对大模型的基础概念、产业格局、带来的新型商业模式进行讲解,展现了大模型的发展现状和商业化潜力。其次,本书从数据服务、智能搜索、办公工
-
围棋与景德镇
¥54.2(5.7折)定价:¥95.0本书讲述与千年瓷都景德镇相关的围棋历史、传说、故事,结合景德镇社会、经济、文化、体育的发展,全面介绍景德镇的围棋历史发展、文化、赛事、活动、人物、事件。上篇旨在向世界推介千年瓷都景德镇,重点介绍景德镇悠久的历史、厚重的陶瓷文化、丰富的旅游资源以及日新月异的城市发展。下篇挖掘整理了景德镇围棋的源流与传说,介绍了近年来在景德镇举办的全国性重要围棋赛事,景德镇群众围棋活动、景德镇围棋人物、棋坛故事等,其中介绍陶瓷文化与围棋文化交融结合一章在
-
新型烟用香料开发及加香技术
¥73.5(7.5折)定价:¥98.0本书第一部分采用生物技术、美拉德反应、焦糖化反应、膜分离技术等方法开发新型食用、烟用香料。第二部分针对不同的香精香料选择不同方法来制备不同规格的微胶囊,起到保护香料,控制释放的效果,并将其应用于食品、卷烟等轻工领域;第三部分新型爆珠的开 发及应用研究...
-
拉格朗日力学理论的形式化与机器人动力学形式化分析
¥66.8(7.5折)定价:¥89.0为了确保机器人运动学设计的安全性和可靠性,解决传统的机器人测试用例与仿真用例受限,测试与仿真均无法接近覆盖所有可能路径等非完备性问题。本书聚焦机器人运动学相关理论的形式化建模与定理库构建,重点针对泛函变分、拉格朗日力学的形式化及在机器人设计中的应用验证,并探索解决完备验证的自动化难题...
-
哈密顿力学理论的形式化与机器人动力学形式化分析
¥66.8(7.5折)定价:¥89.0本书系统深入地研究了辛几何理论、哈密顿动力学的公理化体系,并以四自由度串联机器人为例,研究了基于哈密顿动力学系统的形式化分析与验证方法的应用,为机器人动力学的安全设计提供了形式化验证理论和技术手段。全书主要内容包括:哈密顿模型的几何基础——辛流形空间的形式化、哈密顿模型和拉格朗日模型的勒让德映射关系的形式化、哈密顿方程的形式化和机器人动力学的形式化建模与分析。内容涉及交互式定理证明、机器人、形式化验证等人工智能领域。 本书可作
-
鉴赏辞典唐诗鉴赏辞典(新1版)(精)
¥70.4(5.5折)定价:¥128.0本书共收唐代190多位诗人的诗作1100余篇。 本书是以该书第二版为基础,对全书的版面、版式、字体、字号、封面进行重新设计,并拟增加与内容相符的木刻版画、书法作品插入正文,将原来正文的小五号字体放大为五号,使版面更加赏心悦目。全面提升本书的档次和品位,以满足不同文化消费层次的读者需要...
-
肿瘤的治疗与康复研究
¥53.0(6.8折)定价:¥78.0本书第一章为肿瘤概述,介绍了肿瘤的基本知识、肿瘤的诊断、肿瘤的防治现状;第二章为肿瘤的病因,内容包括化学因素、物理因素、病毒因素、遗传因素、激素因素、免疫因素;第三章为肿瘤的临床治疗方法,介绍了肿瘤的外科治疗、肿瘤的放射治疗、肿瘤的介入放射治疗,以及肿瘤的化学治疗;第四章为常见肿瘤的治疗,内容包括食管癌的治疗、肺癌的治疗、胃癌的治疗、乳腺癌的治疗、白血病的治疗;第五章为肿瘤患者的康复护理,内容包括肿瘤患者的心理康复护理、肿瘤患者的饮食
-
数字化赋能博趣智慧课堂
¥58.5(7.5折)定价:¥78.0本书是上海市长宁区天山二中教学数字化探索的经验总结,分学习资源重组学习方式变革学习空间重构三部分详细介绍了学校是如何构建博趣智慧课堂的。 后一部分课堂落点介绍了各科教师在实际课堂教学中对数字化的思考...
-
层状盐岩力学特性与储能安全评价
¥60.8(8折)定价:¥76.0内 容 提 要本书共6章,以层状盐岩盐穴储能安全为研究对象,介绍了盐岩的基本特性及盐穴储能现状、层状盐岩复合力学特性、层状盐岩地层孔渗特性、盐穴储库稳定性评价、层状盐岩腔体密闭性及分类应用、盐穴溶腔改造利用与储能新方向。本书可供从事盐岩水溶造腔和盐穴溶腔利用方面的施工、管理、设计、评价相关技术人员及科研人员参考,也可供高校、科研院所相关专业本科生和研究生阅读...